% Ejercicio 1
hombre(john).
hombre(bill).
hombre(bob).
hombre(jeff).
hombre(ron).
mujer(mary).
mujer(sue).
mujer(jane).
mujer(nancy).

esposo(john, mary).
esposo(bob, sue).
esposo(bill, jane).

pareja(X,T) :- esposo(X,T).
pareja(X,T) :- esposo(T,X).

padre(john, sue).
padre(john, bill).
padre(bob, nancy).
padre(bob, jeff).
padre(bill, ron).

hijo(H, P) :- padre(P,H).
hijo(H, M) :- padre(P,H), esposo(P,M).

abuelo(A,N) :- hijo(P,A), hijo(N,P).
%esto es horrible

hermano(H, P) :- padre(Q,H), padre(Q,P), H\=P.

descendiente(S,A) :- hijo(S,A).
descendiente(S,A) :- hijo(S,Q), descendiente(Q,A).

tio(S,T) :- hermano(T,P), hijo(S,P).
tio(S,T) :- pareja(P,T), hermano(P,M), hijo(S,M).

primo(X,Y) :- tio(X,T), hijo(Y, T).

ancestro(X, X).
%ancestro(X, Y) :- ancestro(Z, Y), padre(X, Z).
ancestro(X, Y) :- padre(X, Z), ancestro(Z, Y).



